\begin{tabbing}
$k$ affects only members of $L$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma\{\=$\otimes$;\+
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$k$ : $L$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$\}
\-
\end{tabbing}